19 goltz u , gorrieri r , rensink a . on syntactic and semantic action refinement . lecture notes in computer science 789 , 1994 , pp . 385 - 404 . 20 aceto l , action refinement in process algebra . cambridge univ 即精化后的系統(tǒng)行為可以由精化前的系統(tǒng)行為和用于替換原系統(tǒng)動(dòng)作的子系統(tǒng)的行為組合推導(dǎo)出來(lái)2同余性。